package tarantula.experiment.jdkutils;

import junit.framework.TestCase;

public class JDKFailedTestsSimpleTestBug2 extends TestCase {
	public void test5() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    java.util.TreeSet var3 = new java.util.TreeSet((java.util.SortedSet)var2);
	    java.lang.Object var4 = var3.pollLast();
	    boolean var5 = var3.add((java.lang.Object)var1);
	    java.util.Set var6 = java.util.Collections.synchronizedSet((java.util.Set)var3);
	    
	    // Checks the contract:  var6.equals(var6)
	    assertTrue("Contract failed: var6.equals(var6)", var6.equals(var6));

	  }

	  public void test6() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    var2.clear();
	    boolean var4 = var2.add((java.lang.Object)var2);
	    java.util.Set var5 = java.util.Collections.synchronizedSet((java.util.Set)var2);
	    
	    // Checks the contract:  var5.equals(var5)
	    assertTrue("Contract failed: var5.equals(var5)", var5.equals(var5));

	  }
}
